Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
51	Independent Document Model (IDM) Schema Specification Background: The Independent Document Model (IDM) schema is a platform independent schema used to support extraction of metadata from XML documents. Our extraction a Add to Reading List Source URL: extract.cs.odu.edu Language: English - Date: 2007-06-06 14:18:40 Software engineering Computer programming Declarative programming Functional languages Functional programming Procedural programming languages ML XS Monad Haskell features Standard ML
52	Path resolution for recursive nested modules is undecidable Keiko Nakata1 ,3 and Jacques Garrigue2 1 2 Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2009-05-12 08:44:16 Software engineering Theoretical computer science Theory of computation Turing machine Computability theory Formal methods Models of computation Standard ML
53	Delphin: Functional Programming with Deductive Systems Richard Fontana Department of Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-03-22 10:21:52 Logic Declarative programming Software engineering Symbol Standard ML Substitution Model theory
54	Introduction to Supercompilation Morten Heine B. Srensen and Robert Gluck Department of Computer Science, University of Copenhagen (DIKU) Universitetsparken 1, DK-2100 Copenhagen , Denmark , glueck@diku.d Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:17 Higher-order functions Programming language comparisons Functional languages Refal Orders of magnitude Fold Substitution Ys Map Standard ML Haskell features
55	Paramagnetic O2 Analyzer (TML70) Standard two year warranty 0-1% to 0-100%, user selectable Add to Reading List Source URL: www.teledyne-ml.com Language: English - Date: 2009-02-24 11:07:38
56	CMCS 312: Programming Languages An Overview of Standard ML Umut A. Acar Sept. 29, 2006 Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2008-01-15 13:24:52
57	Towards a proposal for datatypes in E-LOTOS Source: Belgium∗, France†, Romania‡, United Kingdom§ Output document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Ottawa meeting, July 1995 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:08 Software engineering Computing Computer programming Type theory Procedural programming languages Process calculi Data types Synchronization Language Of Temporal Ordering Specification Standard ML E-LOTOS ML
58	Abstract Value Constructors Symbolic Constants for Standard ML William E. Aitken∗ John H. Reppy† TR Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2015-10-19 12:35:07 Data types Type theory C++ Method Functional languages Standard ML C++ classes Algebraic data type Enumerated type Const Template Nullary constructor
59	BRICS RSBiernacki et al.: On the Dynamic Extent of Delimited Continuations BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-29 09:58:56 Continuations Control flow Subroutines Delimited continuation Functional languages Call-with-current-continuation Standard ML ConTeXt Tree traversal Software engineering Computing Computer programming
60	Hasochism The Pleasure and Pain of Dependently Typed Haskell Programming Sam Lindley Conor McBride Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-26 13:01:51 Functional languages Type theory Procedural programming languages Functional programming Data types Agda Standard ML Type class Map Software engineering Computing Computer programming